This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as (...) a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics. (shrink)

Proper n-valued ukasiewicz algebras are obtained by adding some binary operators, fulfilling some simple equations, to the fundamental operations of n-valued ukasiewicz algebras. They are the s-algebras corresponding to an axiomatization of ukasiewicz n-valued propositional calculus that is an extention of the intuitionistic calculus.

The dual spaces of the free distributive lattices with a quantifier are constructed, generalizing Halmos' construction of the dual spaces of free monadic Boolean algebras.

Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toy- problems, such as cryptarithmetic, games, such as checker or chess, and formal problems, such as logic or geometry theorem-proving. These problems are well-defined, roughly speaking, at least in comparison to real-life problems, and as such have played the role of Drosophila in early AI. In this chapter I will investigate the origins of heuristic programming and the shift to more knowledge-based and (...) real-life problem solving. (shrink)

We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.

Psychological failure to legislate norms from a state of normative nil is the core sceptical case that German philosophy had left unsolved, and that after Kant was handed over to each new generation of philosophers, until it exploded with great force in debates that spanned the 1910s. This article seeks to provide a context for Carl Schmitt's statement that `nobody could ever describe a single person's intentions as a norm', and to link this kind of normative scepticism with Schmitt's later (...) notion of `exception'. In the face of several attempts to dismiss Schmitt's theory in light of his personal and professional allegiance to the Nazis, this article appeals to the possibility of consilium pravorum, the idea that one can learn from someone whose ideas or actions are despicable. Schmitt distinguishes himself (especially in his early works before 1922) for both his normative scepticism and his willingness to interrogate premises that contemporary political philosophy seems to have left unexamined. (shrink)

In this paper it is argued that qualitative theories (Q-theories) can be used to describe the statistical structure of cross classified populations and that the notion of verisimilitude provides an appropriate tool for measuring the statistical adequacy of Q-theories. First of all, a short outline of the post-Popperian approaches to verisimilitude and of the related verisimilitudinarian non-falsificationist methodologies (VNF-methodologies) is given. Secondly, the notion of Q-theory is explicated, and the qualitative verisimilitude of Q-theories is defined. Afterwards, appropriate measures for the (...) statistical verisimilitude of Q-theories are introduced, so to obtain a clear formulation of the intuitive idea that the statistical truth about cross classified populations can be approached by falsified Q-theories. Finally, it is argued that some basic intuitions underlying VNF-methodologies are shared by the so-called prediction logic, developed by the statisticians and social scientists David K. Hildebrand, James D. Laing and Howard Rosenthal. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called 'poisoning the well' (PTW). There are some forms of ad hominem varieties that are usually a response to an interlocutor's claims. Unlike them, PTW occurs when we illegitimately prime our audience with a pre‐emptive strike against, or with adverse information about, an argumentative opponent before the latter has had a chance to say anything in her own defense, or in defense of her point of view. This has (...) the insidious effect of creating a conceptual framework according to which the audience – and maybe even the interlocutor herself – will interpret her claims as 'fulfilling' and 'confirming' the presumptions buried inside this conceptual trap. Most of the time Karl Popper's criterion of falsifiability is still quite a useful tool and one that can help us gain a firmer understanding of PTW. (shrink)

Esse trabalho apresenta uma reconstruçáo das referidas Deduçáo e Refutaçáo como argumentos contra uma forma empirista de ceticismo questionando a validade de juízos empíricos acerca de objetos externos na chamada acepçáo empírica, náo-transcendental do termo.

Axiological foundations of free speach. Belandria, Margarita y González R., Javier Voluntad, ausencias, y normas: el sustrato histórico del positivismo en el derecho. Will, absences and norms: the historical background of positivism in law. Carpintero Benítez, Francisco Nominalismo jurídico, escolástica española y tradición republicana. Juridical nominalism, spanish scholasticism and republican tradition. Casanova Guerra, Carlos El primer principio de la razón práctica en la teoría de la ley natural de John Finnis. The first principle of practical reason in John Finnis´s natural (...) law theory. Hocevar G., Mayda G. El derecho a una educación integral de calidad, ¿utopía o posibilidad?. The right to an integral education of quality: utopia or possibility?. López de Cordero, Mery La muerte de la imagen. The death of the image. Peña, Edilio Karl Jaspers: autorreflexión y "existenzerhellung". Karl jaspers: self-reflection and "existenzerhellung". Portuondo Pajón, Gladys L. Derechos humanos y positivismo moderado. Human rights and temperated positivism. Ramos Pascua, José Antonio De la libertad y sus apariencias. On liberty and its appearances. Ramis Muscato, Pompeyo Pensamiento y vida: la "guía" zambraniana. Thought and life: zambrano's "guide" Rivara Kamaji, Greta Interdisciplinares Las mujeres en la ciencia de la salud. Women in the health sciences. Alcaraz Ariza, María Ángeles Cultura arquitectónica y crisis de la contemporaneidad. Architectural culture and crisis of the contemporary. Arellano Spinetti, Leonardo Recensiones Homenaje al filósofo venezolano Alberto Rosales. Walton, Roberto Informaciones Índice acumulado. (shrink)

La question de l'articulation du général et du particulier n'a pas qu'une dimension épistémologique, elle commande aussi la résolution du problème du rapport entre théorie et pratique éclairée, et ceci dans la mesure où la pratique s'exerce toujours sur des processus ou des phénomènes individués. Après avoir réalisé un examen critique de trois tentatives de réponse à cette question — l'approche positiviste traditionnelle, celle fondée sur la notion de « modèle » et celle, weberienne, qui fait appel aux « types (...) idéaux » —, nous envisageons cette articulation comme rapport particulier entre concepts théoriques — portant sur des déterminations ou objets abstraits-formels —, et concepts empiriques — portant sur celles de la singularité des objets concrets —. Cette solution méthodologique est présentée via la construction d'un concept exemplaire, celui de « formation sociale », et l'analyse de son fonctionnement dans l'étude d'un cas concret, à savoir les sociétés latino-américaines.The articulation of the general and the particular is not a question merely of epistemology. It also comprises a relation between theory and enlightened practice to the extent that processes and individualized phenomena always take place in practice. In this paper we examine critically three approaches to this question of articulation: that of traditional positivism, that based on the notion of "model" and that of Weberian "ideal types". We propose that this articulation is a particular relation between theoretical concepts relating to formal abstract objects or determinations and empirical concepts relating to particular determinations of concrete objects. We illustrate this methodological solution with the concept of "social formation" examining the sense in which it applies to the concrete case of Latin American societies. (shrink)

The concept of “infinite being” is a key concept in John Duns Scotus’s metaphysics. Scotus believes that we are able indeed of having a sound concept of infinite being that can be properly used in metaphysics to conceive God, insofar as we assume that we have no proper or perfect concept of the divine essence. At the same time, the logic of the concept and the formal way how it should be construed in order to be a sufficient concept for (...) conceiving the divine essence was never fully presented by Scotus either in one single or even in several clearly connected texts. In this study, we explore a central thesis explicitly stated by Scotus for the construing of the concept, namely that “we understand the infinite through the finite”. (shrink)

The volume describes a virtual tour of the cities in which Franz Brentano and his pupils worked and lived, with a reconstruction of the intellectual climate of their time. After the Introduction, the intellectual life of Wurzburg, Munich, Vienna, Prag, Lvov, Warsaw, Cambridge, Florence and Milan is presented and analyzed. The papers collected in this volume propose several answers to the following question: to what do we refer when we speak of Central European philosophy?. Interpretations of Central European philosophy have (...) developed in at least two broad directions. An interpretation fashionable during the 1970s lumps specific philosophical achievements, especially those of Mach and Wittgenstein, characterized by research into and development of new languages, of new philosophical, scientific and artistic grammars. In this situation, literature was seen as the exploration of meanings moving towards frontiers in which reality and possibility, science and metaphor, meet and merge. On the other hands, the theme of a Central European philosophy, connected with but independent of literature, has recently been given more thorough development. The two outstanding figures to have emerged from this inquiry are those of Bernard Bolzano and Franz Brentano. With reference to Brentano in particular, it is almost as if the collapse of the Empire also erased awareness of the common origin of many diverse components of Central European philosophical and scientific thought. The Polish logical school, logical neopositivism, phenomenology, the Prague school of linguistics, analytic philosophy, Gestalt psychology, the Vienna economics school - as well as a number of individual thinkers - are all movements and groups connected in some manner with Brentano's work and teaching. Although in some respects these are movements still at the centre of interest, the overall effect, the pattern of their common and unifying aspects have been neglected if they have not entirely disappeared. It seems that the unity of this philosophical tradition was lost with the end of the geographical and political unity of the Danubian empire and with the events that accompanied its downfall. After 1918 the centres of that tradition - Vienna, Prague, Lvov, Graz - belonged to different states, and its rich network of exchanges, contacts and relationships was dismantled forever. However, there still remained something of its philosophical style in each individual school; traits which enable us to speak, as the Authors have done in this volume, of Central European philosophy.". (shrink)

O artigo tenta diferenciar, caracterizar e ordenar diversas figuras da identidade na fenomenologia pós-husserliana. Em primeiro lugar, assinalam-se questões formuladas pela análise da ipseidade em Heidegger. Em segundo lugar, chama-se a atenção para duas tendências divergentes. Por um lado, Lévinas sustenta que uma fissão da identidade é o resultado da responsabilidade pelos outros, e Waldenfels desenvolve uma lógica da responsividade que questiona o autodesenvolvimento e a autopreservação. Por outro lado, Ricoeur sustenta que o ordenamento da vida num relato equivale a (...) uma identidade narrativa, e M. Henry oferece uma elaborada análise da vida interior como um processo de auto-afecção. Por último, tendo como base as distinções delineadas por X. Zubiri, afirma-se que existem fenômenos que oferecem um sustento a um sentido experiencial da identidade, e que isso pode se vincular à noção husserliana do eu como pólo, isto é, ao ponto de partida dos desenvolvimentos fenomenológicos.El artículo intenta diferenciar, caracterizar y ordenar diversas figuras de la identidad en la fenomenología post-husserliana. En primer lugar, se señalan cuestiones planteadas por el análisis de la ipseidad en Heidegger. En segundo lugar, se presta atención a dos tendencias divergentes. Por un lado, Levinas sostiene que una fisión de la identidad es el resultado de la responsabilidad por lo otros, y Waldenfels desarrolla una lógica de la responsividad que cuestiona el autodesarrollo y la autopreservación. Por otro lado, Ricoeur sostiene que el ordenamiento de la vida en un relato equivale a una identidad narrativa, y M. Henry ofrece un elaborado análisis de la vida interior como un proceso de autoafección. Por último, sobre la base de distinciones delineadas por X. Zubiri, se sostiene que hay fenómenos que ofrecen un sustento a un sentido experiencial de la identidad, y que esto puede vinculares a la noción husserliana de yo como polo, esto es, al punto de partida de los desarrollos fenomenológicos.This article attempts to differentiate, characterize and order various figures of identity in post-Husserlian phenomenology. First, issues raised by Heidegger's analysis of selfhood are pointed out. Secondly, attention is given to two divergent trends. On the one hand, Levinas contends that a fission of identity is the outcome of responsibility for others, and Waldenfels advances a logic of responsiveness that questions self-development and self-preservation. On the other hand, Ricoeur argues that the ordering of life in a story amounts to a narrative identity, and M. Henry affords an elaborate analysis of inward life as a process of self-affection. Finally, on the basis of distinctions outlined by X. Zubiri, it is contended that there are phenomena that uphold an experiential sense of identity. This can be linked to the Husserlian notion of an ego as a pole of acts, i.e., the starting point of phenomenological developments. (shrink)

Over the past four decades, the question of the relationship between divine omniscience and human freedom has led analytic philosophy of religion to analyze medieval thought on foreknowledge. To avoid fatalism, many of them have been inspired by Luis de Molina’s doctrine of middle knowledge. Created to provide a libertarian account of how God knows future contingents, the Molinist solution has divided contemporary interpreters into two camps: those who argue that Molinism implies determinism and those who have developed new analytical (...) strategies to support Molina’s thesis. This study provides a map for moving through the debate. (shrink)

Introduction to Kant's Anthropology From a Pragmatic Point of View Michel Foucaulttranslated and with an introduction by Arianna BoveThis introduction and commentary to Kant's least discussed work, Anthropology from a Pragmatic Point of View, is the dissertation that Michel Foucault presented in 1961 as his doctoral thesis. It has remained unpublished, in any language, until now. In his exegesis and critical interpretation of Kant's Anthropology, Foucault raises the question of the relation between psychology and anthropology, and how they are affected (...) by time. Though a Kantian "critique of the anthropological slumber," Foucault warns against the dangers of treating psychology as a new metaphysics, explores the possibilities of studying man empirically, and reflects on the nature of time, art and technique, self-perception, and language. Extending Kant's suggestion that any empirical knowledge of man is inextricably tied up with language, Foucault asserts that man is a world citizen insofar as he speaks. For both Kant and Foucault, anthropology concerns not the human animal or self-consciousness but, rather, involves the questioning of the limits of human knowledge and concrete existence. This long-unknown text is a valuable contribution not only to a scholarly appreciation of Kant's work but as the first outline of what would later become Foucault's own frame of reference within the history of philosophy. It is thus a definitive statement of Foucault's relation to Kant as well as Foucault's relation to the critical tradition of philosophy. By going to the heart of the debate on structuralist anthropology and the status of the human sciences in relation to finitude, Foucault also creates something of a prologue to his foundational The Order of Things.Michel Foucault is widely considered to be one of the most important academic voices of the twentieth century and has proven influential across disciplines. (shrink)